The Spec# Programming System: An Overview
نویسندگان
چکیده
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This paper describes the goals and architecture of the Spec# programming system, consisting of the objectoriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes constructs for writing specifications that capture programmer intentions about how methods and data are to be used, the compiler emits run-time checks to enforce these specifications, and the verifier can check the consistency between a program and its specifications.
منابع مشابه
Planning in a cross dock network with an operational scheduling overview
Nowadays, cross docking plays an important role in the supply chain networks especially in transportation systems. According to the cross dock system advantages such as reducing transportation costs, lead times, and inventories, scheduling in a cross-dock center would be more complicated by increasing the number of suppliers, customers and product types. Considering the cross dock limited capac...
متن کاملUsing the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
Spec# is a programming system for the development of correct programs. It consists of a programming language, a verification methodology, and tools. The Spec# language extends C# with contracts, which allow programmers to document their design decisions in the code. The verification methodology provides rules and guidelines for how to use the Spec# features to express and check properties of in...
متن کاملOverview of the SPEC Benchmarks
" The reputation of current benchmarketing claims regarding system performance is on par with the promises made by politicians during elections. " in cooperation with E. E. Times. SPEC is a nonprofit consortium of 22 major computer vendors whose common goals are " to provide the industry with a realistic yardstick to measure the performance of advanced computer systems " and to educate consumer...
متن کاملThe Spec# Programming System: Challenges and Directions
The Spec# programming system [2] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopte...
متن کاملAn interactive weighted fuzzy goal programming technique to solve multi-objective reliability optimization problem
This paper presents an application of interactive fuzzy goal programming to the nonlinear multi-objective reliability optimization problem considering system reliability and cost of the system as objective functions. As the decision maker always have an intention to produce highly reliable system with minimum cost, therefore, we introduce the interactive method to design a high productivity sys...
متن کامل